Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
241	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
242	Gerard J. Holzmann Work: Laboratory for Reliable Software NASA/JPL, 4800 Oak Grove Drive Add to Reading List Source URL: spinroot.com Language: English - Date: 2015-05-15 14:06:48 Science Software development Logic in computer science Systems engineering Software quality Gerard J. Holzmann Software verification Formal verification Model checking Formal methods Theoretical computer science Software testing
243	H ELMUT V EITH Formal Methods in Systems Engineering GroupInstitute of Information Systems Vienna University of Technology Favoritenstraße 9–11 A-1040 Vienna Add to Reading List Source URL: forsyte.at Language: English - Date: 2015-04-19 17:30:43 Federated Logic Conference Vienna University of Technology
244	Big Data, Ethics, and the Social Implications of Knowledge Production Ralph Schroeder Josh Cowls Add to Reading List Source URL: dataethics.github.io Language: English - Date: 2014-09-23 10:31:54 Formal sciences Database management systems Database theory Internet privacy Big data Data Research Data mining Data analysis Technology Science Data management
245	Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Version df39393, updated at:37: Add to Reading List Source URL: leanprover.github.io Language: English - Date: 2015-06-08 12:08:26 Formal systems Automated theorem proving Logical syntax Propositional calculus Mathematical proof Deduction theorem Theorem Proof assistant Axiom Logic Mathematics Mathematical logic
246	technology & innovation The new, new thing comes to the laboratory Many of you will have heard of the Internet of Things. However, if you head to the Wiki entry on the subject you may end up rather confused. The one key Add to Reading List Source URL: media.wix.com Language: English - Date: 2014-07-12 09:51:46 Database theory Formal sciences Emerging technologies Mobile computers Cloud computing Database Big data Bluetooth Internet Technology Computing Database management systems
247	Universität Stuttgart Fakultät Informatik, Elektrotechnik und Informationstechnik Compliance Modeling Formal Descriptors and Tools Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2014-12-30 07:50:16 Systems engineering Regulatory compliance Structure Business Process Model and Notation Compliance requirements Modeling language Tosca Business process modeling Compliance and ethics program Process management Design Management
248	Chapter 16 SOFTWARE PERFORMANCE ENGINEERING Connie U. Smith1 and Lloyd G. Williams2 1 2 Add to Reading List Source URL: www.spe-ed.com Language: English - Date: 2007-01-19 13:15:25 Software optimization Management Formal methods Software testing Software quality Performance engineering Software development process Software performance testing IBM Rational Unified Process Software development Systems engineering Computing
249	Big Data Applications @ Connected Cars Dr.-Ing. Johannes Springer Deutsche Telekom AG / T-Systems International, Strategic Business Unit Connected Car Big Data, T-Systems China, Beijing, December 12th, 2013 Agenda. Add to Reading List Source URL: www.t-systems.cn Language: English - Date: 2013-12-18 22:09:22 Science Big data Data mining Telematics Analytics Geographic information system Business intelligence Oracle Database Technology Formal sciences Data management
250	PVLDB Proceedings Template - WORD Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-07-27 00:29:36 Database management systems Formal sciences Database theory Parallel computing Emerging technologies Big data Database Apache Hadoop MapReduce Computing Concurrent computing Data management

UPDATE